Hardware Ports – Getting Rid of Sandboxed Modelled Software
نویسندگان
چکیده
Model-Driven Design (MDD) techniques can be used to design control software for cyber-physical systems, reducing the complexity of designing such software. Most MDD tools do not provide proper support to interact with the environment of the models, i.e. the actuators and sensors of a cyber-physical system, resulting in the models being sandboxed. So-called “Hardware Ports” are proposed in this paper to get rid of this sandboxed model issue. These hardware ports are designed in a modular way, preventing a completely separated implementation for each type of piece of hardware. Even though the concept of hardware ports is generally applicable, in this paper the TERRA MDD tool and the LUNA concurrent runtime framework are used as examples to clarify the design and implementation. The paper concludes with a reflection on the usability of the hardware ports and on the planned future work to further improve the interaction between modelled software and the hardware it controls.
منابع مشابه
A Hardware Virtualization Based Component Sandboxing Architecture
Modern applications comprise multiple components, such as browser plug-ins, often of unknown provenance and quality. Statistics show that failure of such components accounts for a high percentage of software faults. Enabling isolation of such fine-grained components is therefore necessary to increase the robustness and resilience of security-critical and safety-critical computer systems. In thi...
متن کاملSeamlessly Integrating Software & Hardware Modelling for Large-Scale Systems
Large-scale systems increasingly consist of a mixture of co-dependent software and hardware. The differing nature of software and hardware means that they are often modelled separately and with different approaches. This can cause failures later in development during the integration of software and hardware designs, due to incompatible assumptions of software/hardware interactions. This paper p...
متن کاملSloth: Let the Hardware Do the Work!*
Traditional priority-driven real-time kernels distinguish between tasks, which are scheduled and dispatched by a software scheduler, and (possibly different kinds of) interrupt service routines (ISRs), which are scheduled and dispatched by the hardware platform. In our Sloth system, we get rid of the software scheduler and let the hardware do the scheduling and dispatching work for tasks, too. ...
متن کاملAn Efficient User-Level Shared Memory Mechanism for Application-Specific Extensions
This paper focuses on an efficient user-level method for the deployment of application-specific extensions, using commodity operating systems and hardware. A sandboxing technique is described that supports multiple extensions within a shared virtual address space. Applications can register sandboxed code with the system, so that it may be executed in the context of any process. Such code may be...
متن کاملA Self-organizing Learning Array and Its Hardware-software Co-simulation
− In this paper, a self-organizing learning array (SOLAR) and its hardware-software (HW/SW) co-simulation are presented. In SOLAR, every neuron maximizes its information index during feed forward self-organizing learning. SOLAR was simulated on benchmark examples and showed good ability to learn exceeding the performance of many traditional classifier algorithms. A simple HW/SW co-simulation me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014